简单类型 lambda 演算的英文

• simply typed lambda calculus

• "简单"英文翻译    simple; uncomplicated; plain ...
• "类型"英文翻译    type; mold; form; cut
• "lambda"英文翻译    n. 1.希腊语第十一个字母〔Λ,λ 与英语字母L相当〕 ...
• "演算"英文翻译    perform mathematical calcula ...
• "简单类型lambda演算" 英文翻译 :    simply typed lambda calculus
• "简单类型" 英文翻译 :    simple types
• "简单类型论" 英文翻译 :    simple theory of types
• "无类型 lambda 演算" 英文翻译 :    lambda calculus
• "无类型lambda演算" 英文翻译 :    lambda calculus
• "有类型 lambda 演算" 英文翻译 :    typed lambda calculus
• "有类型lambda演算" 英文翻译 :    typed lambda calculus
• "标准简单类型" 英文翻译 :    standard simple type
• "简单类型理论" 英文翻译 :    simple type theory
• "lambda 演算" 英文翻译 :    lambda calculus
• "lambda演算" 英文翻译 :    lambda calculus
• "表单类型" 英文翻译 :    form types
• "委托单类型" 英文翻译 :    order types
• "非指定保单类型" 英文翻译 :    presentation of an insurance documents of a type other than that required by the credit
• "lambda" 英文翻译 :    n. 1.希腊语第十一个字母〔Λ,λ 与英语字母L相当〕。 2.微升〔百万分之一升〕。 3.λ粒子( ＝ lambda particle)。
• "演算" 英文翻译 :    perform mathematical calculations; calculation; calculus◇演算器 exerciser
• "表单类" 英文翻译 :    form classes
• "表单类别" 英文翻译 :    form classes
• "单类估计" 英文翻译 :    single-class estimation
• "bacteriophage lambda" 英文翻译 :    λ噬菌体
• "lambda (λ)" 英文翻译 :    微升